Context Pruning in Conversational Agent
poonai.xyz·11h·
Discuss: Hacker News
⚖️Logic Programming
Designing software architecture for parallel AI sessions
rashidazarang.com·1h·
Discuss: Hacker News
⚡Concurrency
On the Bit Size of Sum-of-Squares Proofs for Symmetric Formulations
arxiv.org·1d
🧭SMT Solvers
Human vs. AI in Logic Tasks: a Study
dailynous.com·1d
⚖️Logic Programming
Show HN: Pgdbtemplate – fast PostgreSQL test databases in Go using templates
github.com·1h·
Discuss: Hacker News
🧭SMT Solvers
Many Hard Leetcode Problems are Easy Constraint Problems
buttondown.com·8h·
Discuss: Lobsters, Hacker News, r/programming
🎯Constraint Programming
I Used Autogen GraphFlow and Qwen3 Coder to Solve Math Problems — And It Worked
dev.to·15h·
Discuss: DEV
🔧Compiler Design
Defeating Nondeterminism in LLM Inference
thinkingmachines.ai·4h·
Discuss: Hacker News
🎲Probabilistic Programming
Continuous Improvement in LLM Code Generation
blogger.com·8h
🔧Compiler Design
Charles Sanders Peirce, George Spencer Brown, and Me • 19
inquiryintoinquiry.com·8h
🔄Category Theory
Trial and Error Driven Development
stevenoxley.com·33m·
Discuss: Hacker News
🔍Static Analysis
You Can Just Do Things
elite-ai-assisted-coding.dev·4h·
Discuss: Hacker News
🔍Static Analysis
🎧 How to Use Claude Code as a Second Brain
kill-the-newsletter.com·5h
🔌Network Programming
💥 Tech Talks Weekly #74: ArchUnit, Node.js Event Loop, Rust + Serverless, Monorepo at Meta, ... | See talk summaries 👇
techtalksweekly.io·4h
🧮Programming Language Theory
From Eigenmodes to Proofs: Integrating Graph Spectral Operators with Symbolic Interpretable Reasoning
arxiv.org·17h
🔢Mathematical Logic
I Built a Handy macOS CLI in 2 Hours with Zero Swift Knowledge
zbeegnew.dev·23h·
Discuss: Hacker News
🔧Compiler Design
Mathematicians Find GPT-5 Makes Critical Errors in Original Proof Generation
science.slashdot.org·2d
🧭SMT Solvers
From static to adaptive: Scaling AI reasoning without the waste
nordot.app·9h
⚖️Logic Programming
Show HN: Implementation and ablation of the Hierarchical Reasoning Model (HRM)
github.com·7h·
Discuss: Hacker News
🎲Probabilistic Programming
How to Prove False Statements: Practical Attacks on Fiat-Shamir
eprint.iacr.org·1d·
Discuss: Lobsters, Hacker News
🤝Protocol Design